Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 132 237 0 218 0 0 0

N.S.

1 1.00 0.90 1.62 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.150 0.318 0.178 0.000 0.287 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

139 139 166 897 0 0 0 0 0

N.S.

1 1.00 1.19 6.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.193 0.491 0.171 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 93 157 138 187 0 0 0

N.S.

1 1.00 0.89 1.50 1.31 1.78 0.00 0.00 0.00

time (sec)

N/A 0.111 0.281 0.170 0.290 0.301 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 88 729 137 0 0 0 0

N.S.

1 1.00 1.10 9.11 1.71 0.00 0.00 0.00 0.00

time (sec)

N/A 0.085 0.256 0.193 0.223 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 72 121 0 165 0 0 0

N.S.

1 1.00 0.96 1.61 0.00 2.20 0.00 0.00 0.00

time (sec)

N/A 0.056 0.215 0.168 0.000 0.310 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 108 100 619 126 0 0 0 0

N.S.

1 1.00 0.93 5.73 1.17 0.00 0.00 0.00 0.00

time (sec)

N/A 0.063 0.150 0.196 0.211 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

148 148 209 208 0 0 0 0 0

N.S.

1 1.00 1.41 1.41 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.232 0.703 0.229 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

150 150 125 778 0 0 0 0 0

N.S.

1 1.00 0.83 5.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.139 0.409 0.182 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

247 247 331 314 0 0 0 0 0

N.S.

1 1.00 1.34 1.27 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 4.107 0.178 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 239 1155 236 0 0 0 0

N.S.

1 1.00 1.15 5.55 1.13 0.00 0.00 0.00 0.00

time (sec)

N/A 0.177 0.398 0.169 0.218 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 121 363 143 0 0 124 0

N.S.

1 1.00 0.60 1.82 0.72 0.00 0.00 0.62 0.00

time (sec)

N/A 0.087 0.145 0.277 0.221 0.000 0.000 0.338 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 63 74 83 83 82 0 0

N.S.

1 1.00 0.73 0.86 0.97 0.97 0.95 0.00 0.00

time (sec)

N/A 0.108 0.038 0.158 0.202 0.270 0.500 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 48 82 59 55 65 0 0

N.S.

1 1.00 0.69 1.17 0.84 0.79 0.93 0.00 0.00

time (sec)

N/A 0.076 0.032 0.209 0.199 0.254 0.357 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 42 40 55 62 42 0 0

N.S.

1 1.00 0.86 0.82 1.12 1.27 0.86 0.00 0.00

time (sec)

N/A 0.061 0.048 0.204 0.200 0.270 0.337 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 47 26 38 24 38 0

N.S.

1 1.00 1.00 1.68 0.93 1.36 0.86 1.36 0.00

time (sec)

N/A 0.029 0.038 0.222 0.194 0.268 0.240 0.292 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 23 10 0 11

N.S.

1 1.00 1.00 0.92 0.85 1.77 0.77 0.00 0.85

time (sec)

N/A 0.015 0.008 0.234 0.193 0.263 0.198 0.000 2.398

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 57 89 0 0 0 0 0

N.S.

1 1.00 1.68 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.058 0.109 0.231 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 29 56 25 39 0 71 0

N.S.

1 1.00 1.07 2.07 0.93 1.44 0.00 2.63 0.00

time (sec)

N/A 0.040 0.049 0.244 0.192 0.256 0.000 0.302 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 126 150 0 0 0 0 0

N.S.

1 1.00 1.58 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.101 0.555 0.200 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

175 175 120 578 134 158 0 0 0

N.S.

1 1.00 0.69 3.30 0.77 0.90 0.00 0.00 0.00

time (sec)

N/A 0.094 0.128 0.271 0.206 0.271 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 129 338 0 0 0 0 0

N.S.

1 1.00 0.71 1.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.135 0.617 0.175 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 92 321 73 127 0 0 0

N.S.

1 1.00 0.88 3.06 0.70 1.21 0.00 0.00 0.00

time (sec)

N/A 0.047 0.109 0.232 0.204 0.271 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 111 120 256 0 0 0 0 0

N.S.

1 1.00 1.08 2.31 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.043 0.400 0.166 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 168 331 0 0 0 0 0

N.S.

1 1.00 0.95 1.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.136 0.401 0.203 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 105 129 251 0 0 0 0 0

N.S.

1 1.00 1.23 2.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.082 0.342 0.209 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 201 223 334 0 0 0 0 0

N.S.

1 1.00 1.11 1.66 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.139 2.252 0.184 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 106 117 137 133 217 0 0 0

N.S.

1 1.00 1.10 1.29 1.25 2.05 0.00 0.00 0.00

time (sec)

N/A 0.069 0.330 0.199 0.199 0.284 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

217 217 130 872 145 199 0 0 0

N.S.

1 1.00 0.60 4.02 0.67 0.92 0.00 0.00 0.00

time (sec)

N/A 0.112 0.194 0.216 0.205 0.266 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 251 799 0 0 0 0 0

N.S.

1 1.00 0.99 3.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.217 0.640 0.219 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 146 102 559 85 167 0 0 0

N.S.

1 1.00 0.70 3.83 0.58 1.14 0.00 0.00 0.00

time (sec)

N/A 0.059 0.134 0.204 0.197 0.275 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 180 200 496 0 0 0 0 0

N.S.

1 1.00 1.11 2.76 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.082 0.696 0.182 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 249 248 428 0 0 0 0 0

N.S.

1 1.00 1.00 1.72 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.231 0.631 0.270 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

177 177 200 230 0 0 0 0 0

N.S.

1 1.00 1.13 1.30 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.124 0.834 0.249 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 270 352 289 0 0 0 0 0

N.S.

1 1.00 1.30 1.07 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.224 3.471 0.237 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

184 184 217 257 0 0 0 0 0

N.S.

1 1.00 1.18 1.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.162 0.634 0.249 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 140 996 156 263 0 0 0

N.S.

1 1.00 0.53 3.74 0.59 0.99 0.00 0.00 0.00

time (sec)

N/A 0.114 0.229 0.230 0.220 0.276 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

337 337 388 1165 0 0 0 0 0

N.S.

1 1.00 1.15 3.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.317 0.896 0.224 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 112 863 96 225 0 0 0

N.S.

1 1.00 0.58 4.47 0.50 1.17 0.00 0.00 0.00

time (sec)

N/A 0.058 0.152 0.216 0.207 0.274 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 254 317 801 0 0 0 0 0

N.S.

1 1.00 1.25 3.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.116 0.664 0.185 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

329 329 339 540 0 0 0 0 0

N.S.

1 1.00 1.03 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.308 0.712 0.244 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

257 257 270 285 0 0 0 0 0

N.S.

1 1.00 1.05 1.11 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.181 1.332 0.201 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

355 355 424 339 0 0 0 0 0

N.S.

1 1.00 1.19 0.95 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.326 6.407 0.243 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 266 286 322 0 0 0 0 0

N.S.

1 1.00 1.08 1.21 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.231 0.992 0.224 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 28 26 28 40 0 0 0

N.S.

1 1.00 0.88 0.81 0.88 1.25 0.00 0.00 0.00

time (sec)

N/A 0.023 0.007 0.232 0.282 0.255 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

215 215 119 625 174 161 0 0 0

N.S.

1 1.00 0.55 2.91 0.81 0.75 0.00 0.00 0.00

time (sec)

N/A 0.190 0.173 0.217 0.212 0.273 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 192 151 519 0 0 0 0 0

N.S.

1 1.00 0.79 2.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.165 0.691 0.205 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 93 358 117 132 0 0 0

N.S.

1 1.00 0.65 2.52 0.82 0.93 0.00 0.00 0.00

time (sec)

N/A 0.114 0.140 0.196 0.204 0.272 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 121 273 0 0 0 0 0

N.S.

1 1.00 1.02 2.29 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.091 0.656 0.211 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

64 64 74 148 55 96 0 0 0

N.S.

1 1.00 1.16 2.31 0.86 1.50 0.00 0.00 0.00

time (sec)

N/A 0.051 0.152 0.236 0.207 0.283 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 76 77 28 0 0 0 0

N.S.

1 1.00 1.62 1.64 0.60 0.00 0.00 0.00 0.00

time (sec)

N/A 0.024 0.078 0.206 0.208 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 129 233 0 0 0 0 0

N.S.

1 1.00 1.06 1.91 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.091 0.292 0.249 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 77 169 101 132 0 0 0

N.S.

1 1.00 1.22 2.68 1.60 2.10 0.00 0.00 0.00

time (sec)

N/A 0.064 0.192 0.235 0.209 0.284 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 229 333 0 0 0 0 0

N.S.

1 1.00 1.13 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.159 2.285 0.203 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

141 141 131 166 121 222 0 0 0

N.S.

1 1.00 0.93 1.18 0.86 1.57 0.00 0.00 0.00

time (sec)

N/A 0.129 0.235 0.221 0.205 0.300 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

212 212 174 238 0 197 0 0 0

N.S.

1 1.00 0.82 1.12 0.00 0.93 0.00 0.00 0.00

time (sec)

N/A 0.136 0.398 0.230 0.000 0.307 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 161 274 0 0 0 0 0

N.S.

1 1.00 0.78 1.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.178 0.550 0.244 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 136 130 176 119 166 0 0 0

N.S.

1 1.00 0.96 1.29 0.88 1.22 0.00 0.00 0.00

time (sec)

N/A 0.108 0.355 0.231 0.280 0.288 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 130 146 232 0 0 0 0 0

N.S.

1 1.00 1.12 1.78 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.101 0.331 0.195 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 86 125 0 128 0 0 0

N.S.

1 1.00 1.23 1.79 0.00 1.83 0.00 0.00 0.00

time (sec)

N/A 0.057 0.264 0.240 0.000 0.300 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 100 143 58 0 0 0 0

N.S.

1 1.00 1.32 1.88 0.76 0.00 0.00 0.00 0.00

time (sec)

N/A 0.028 0.174 0.177 0.209 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 194 231 271 0 0 0 0 0

N.S.

1 1.00 1.19 1.40 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.161 0.683 0.237 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 163 239 119 0 0 0 0

N.S.

1 1.00 1.14 1.67 0.83 0.00 0.00 0.00 0.00

time (sec)

N/A 0.103 0.605 0.194 0.202 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

287 287 369 342 0 0 0 0 0

N.S.

1 1.00 1.29 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 6.182 0.224 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

228 228 216 968 0 0 0 0 0

N.S.

1 1.00 0.95 4.25 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.123 0.324 0.224 0.000 0.000 0.000 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 281 222 410 0 0 0 0 0

N.S.

1 1.00 0.79 1.46 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.283 0.936 0.253 0.000 0.000 0.000 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 210 177 400 0 219 0 0 0

N.S.

1 1.00 0.84 1.90 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.133 0.417 0.262 0.000 0.298 0.000 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 203 191 345 0 0 0 0 0

N.S.

1 1.00 0.94 1.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.194 0.576 0.217 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A A F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 136 263 138 188 0 0 0

N.S.

1 1.00 0.94 1.83 0.96 1.31 0.00 0.00 0.00

time (sec)

N/A 0.118 0.363 0.190 0.278 0.299 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 118 413 137 0 0 0 0

N.S.

1 1.00 0.99 3.47 1.15 0.00 0.00 0.00 0.00

time (sec)

N/A 0.092 0.281 0.255 0.204 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 114 103 198 0 166 0 0 0

N.S.

1 1.00 0.90 1.74 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.055 0.286 0.192 0.000 0.286 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 143 425 126 0 0 0 0

N.S.

1 1.00 0.97 2.89 0.86 0.00 0.00 0.00 0.00

time (sec)

N/A 0.061 0.188 0.276 0.203 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 262 247 364 0 0 0 0 0

N.S.

1 1.00 0.94 1.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.260 1.001 0.245 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 214 227 1257 0 0 0 0 0

N.S.

1 1.00 1.06 5.87 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.126 0.329 0.248 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

400 400 409 406 0 0 0 0 0

N.S.

1 1.00 1.02 1.02 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.352 5.360 0.231 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

297 297 267 372 236 0 0 0 0

N.S.

1 1.00 0.90 1.25 0.79 0.00 0.00 0.00 0.00

time (sec)

N/A 0.176 0.360 0.216 0.216 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A F F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 121 363 143 0 0 124 0

N.S.

1 1.00 0.60 1.82 0.72 0.00 0.00 0.62 0.00

time (sec)

N/A 0.084 0.083 0.184 0.203 0.000 0.000 0.330 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 63 74 83 83 82 0 0

N.S.

1 1.00 0.73 0.86 0.97 0.97 0.95 0.00 0.00

time (sec)

N/A 0.105 0.023 0.209 0.203 0.272 0.417 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 48 82 59 55 65 0 0

N.S.

1 1.00 0.69 1.17 0.84 0.79 0.93 0.00 0.00

time (sec)

N/A 0.074 0.020 0.232 0.191 0.271 0.351 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 42 40 55 62 42 0 0

N.S.

1 1.00 0.86 0.82 1.12 1.27 0.86 0.00 0.00

time (sec)

N/A 0.065 0.013 0.199 0.192 0.258 0.299 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 28 47 26 38 24 38 0

N.S.

1 1.00 1.00 1.68 0.93 1.36 0.86 1.36 0.00

time (sec)

N/A 0.031 0.010 0.243 0.196 0.267 0.232 0.284 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

13 13 13 12 11 23 10 0 11

N.S.

1 1.00 1.00 0.92 0.85 1.77 0.77 0.00 0.85

time (sec)

N/A 0.023 0.001 0.228 0.193 0.277 0.204 0.000 0.002

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 57 89 0 0 0 0 0

N.S.

1 1.00 1.68 2.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.060 0.092 0.201 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 29 56 25 39 0 71 0

N.S.

1 1.00 1.07 2.07 0.93 1.44 0.00 2.63 0.00

time (sec)

N/A 0.041 0.011 0.211 0.216 0.274 0.000 0.300 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 126 150 0 0 0 0 0

N.S.

1 1.00 1.58 1.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.102 0.114 0.250 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

313 313 257 0 0 0 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.363 0.352 0.000 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

217 217 188 0 0 0 0 0 0

N.S.

1 1.00 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.200 0.013 0.000 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 128 118 0 0 0 0 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.091 0.033 0.000 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 26 36 26 26

N.S.

1 1.00 1.08 1.00 1.08 1.08 1.50 1.08 1.08

time (sec)

N/A 0.045 3.334 0.260 0.298 0.280 2.258 0.287 2.577

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 41 54 26 26

N.S.

1 1.00 1.08 1.00 1.08 1.71 2.25 1.08 1.08

time (sec)

N/A 0.110 4.911 0.283 0.283 0.269 16.142 0.278 2.735

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 24 26 52 71 26 26

N.S.

1 1.00 1.08 1.00 1.08 2.17 2.96 1.08 1.08

time (sec)

N/A 0.190 5.239 0.286 0.283 0.284 117.915 0.291 2.706

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

618 618 332 0 0 0 0 0 0

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.364 0.904 0.000 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

390 390 233 0 0 0 0 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.232 0.370 0.000 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

240 240 179 0 0 0 0 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.140 0.049 0.000 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

161 161 129 0 0 0 0 0 0

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 0.044 0.000 0.000 0.000 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

268 268 206 0 0 0 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.165 0.161 0.000 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

402 402 286 0 0 0 0 0 0

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.264 0.273 0.000 0.000 0.000 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 102 97 0 0 0 0 0 0

N.S.

1 1.00 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.050 0.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 283 201 329 441 260 388 0 0

N.S.

1 1.00 0.71 1.16 1.56 0.92 1.37 0.00 0.00

time (sec)

N/A 0.308 0.197 0.166 0.230 0.268 0.921 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 186 266 442 240 332 0 0

N.S.

1 1.00 0.94 1.34 2.23 1.21 1.68 0.00 0.00

time (sec)

N/A 0.384 0.192 0.109 0.221 0.282 0.786 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 206 177 247 346 225 313 0 0

N.S.

1 1.00 0.86 1.20 1.68 1.09 1.52 0.00 0.00

time (sec)

N/A 0.228 0.179 0.114 0.222 0.275 0.548 0.000 0.000